181. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
182. Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
پدیدآورنده : Gunther Ruhe, Frank Bomarius )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1756
183. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده :
کتابخانه: (Library of Islamic Studies For Women and Family (Tehran (Tehran)
موضوع : Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
184. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
185. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
186. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
187. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
188. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
189. Model-based engineering of embedded real-time systems
پدیدآورنده : Holger Giese ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses
190. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
191. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
192. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
193. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
194. Modelling foundations and applications
پدیدآورنده : Antonio Vallecillo ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2012eb
195. Modelling foundations and applications
پدیدآورنده : Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2013
196. Models in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
197. Models in software engineering
پدیدآورنده : Jörg Kienzle (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
M63
2011eb
198. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,چندپردازنده‌ها -- کنگره‌ها,برنامه‌نویسی موازی -- کنگره‌ها
رده :
E-Book
,
199. NETWORKING 2012 Workshops
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer networks -- Congresses,Computer networks -- Management -- Congresses,Software engineering,شبکه‌های کامپیوتری -- کنگره‌ها,شبکه‌های کامپیوتری -- مدیریت -- کنگره‌ها,مهندسی نرم افزار
رده :
E-Book
,
200. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
